DALI, RASP, Mnemosine: Computational Logic at Work
نویسندگان
چکیده
In this paper, we briefly describe recent research directions of the Artificial Intelligence group of the University of L'Aquila, Italy. Research activities concern Computational Logic and mainly Intelligent Logical Agents. In fact, in the last years the group has developed the logical agent-oriented language DALI. However, work is under way also in other areas, like, e.g., Non-Monotonic Reasoning and Natural Language Processing. We particularly emphasize recent and future work directions.
منابع مشابه
RASP and ASP as a fragment of linear logic
RASP is a recent extension to Answer Set Programming (ASP) that permits declarative specification and reasoning on consumption and production of resources. ASP can be seen as a particular case of RASP. In this paper, we study the relationship between linear logic and RASP problem specification. We prove that RASP programs can be translated into (a fragment of) linear logic, and vice versa. In d...
متن کاملDALI: A Multi Agent System Framework for the Web, Cognitive Robotic and Complex Event Processing
This paper illustrates advances over existing implementation work performed on DALI, which is a logic prolog-based framework for defining agents and Multi-Agent Systems (MAS) developed at University of L’Aquila since 1999, and publicly available. In previous work, DALI features were already extended in view of cognitive robotic applications and Complex Event Processing. Here, we show how to def...
متن کاملMnemosine: Improving Life Conditions of Alzheimer Patients and Caregivers
It is estimated that by 2050 over 100 million people will be affected by the Alzheimer’s disease. It not only affects the patient but also the whole family and specially the caregiver, who is continuously under great stress conditions. We propose a software environment, called Mnemosine, designed to improve the quality of life of both Alzheimer patients and caregivers, trying to reduce progress...
متن کاملTowards Active Logic Programming
In this paper we present the new logic programming language DALI, aimed at defining agents and agent systems. A main design objective for DALI has been that of introducing in a declarative fashion all the essential features, while keeping the language as close as possible to the syntax and semantics of the plain Horn–clause language. Special atoms and rules have been introduced, for representin...
متن کاملPractical Forward-Secure Range and Sort Queries with Update-Oblivious Linked Lists
We revisit the problem of privacy-preserving range search and sort queries on encrypted data in the face of an untrusted data store. Our new protocol RASP has several advantages over existing work. First, RASP strengthens privacy by ensuring forward security: after a query for range [a,b], any new record added to the data store is indistinguishable from random, even if the new record falls with...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Intelligenza Artificiale
دوره 5 شماره
صفحات -
تاریخ انتشار 2008